formal method
[網絡] 形式化方法；形式方法；形式演繹法
熱門查詢
- aided adj. 輔助的；[自] 半自動的 v. 幫助（aid的過去分詞）
- Cllr abbr. 議員（councillor）
- Downes [人名] [英格蘭人姓氏] 唐斯取自父名，來源于Dunn,含義是“鄧恩之子”(son of Dunn)
- girl n. 女孩；姑娘，未婚女子；女職員，女演員；（男人的）女朋友 n. （捷）吉爾
- scooter n. 小輪摩托車；速可達；單腳滑行車；小孩滑板車
- undersized adj. 較一般為小的
- containing n. 包含 v. 包含；容納；克制（contain的ing形式） adj. 包含的；封閉的
- woad n. 菘藍；靛藍 vt. 用靛藍染
- bouffant n. 蓬松的發式 adj. 鼓起的，蓬松的；向外脹起的
- mercantilism n. 重商主義；商人本性；商業主義
- Baconian n. 信仰培根哲學的人 adj. 培根哲學的；歸納的
- beatific adj. 幸福的；祝福的；快樂的
- malfeasance n. 瀆職，違法行為；不正當，壞事
- creatinine n. [生化] 肌酸酐
- tatters n. 破衣服；梭織者；碎片（tatter的復數） v. 撕碎；把…穿破（tatter的三單形式）
- bottome 博頓（姓氏）
- abase vt. 使…謙卑；降低…的品格；降低…的地位
- ridge n. 山脊；山脈；屋脊 vt. 使成脊狀；作壟 vi. 成脊狀 n. (Ridge)人名；(英)里奇
- neem n. 印度楝；苦楝樹；尼姆樹（等于neem tree）
- Brabant n. 布拉班特省（比利時中部省份）
